41. Programming in Turbo Prology in with an introduction to knowledge based systems
Author: Teft, Lee
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Prolog (Computer program Language) ► Turbo prolog(Computer program) ► Expert systems(Computer science)
Classification :
006
T259p
42. Programming in Turbo prolog :with an introduction to knowledge-based systems
Author: Lee Teft
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Prolog (Computer program language),Turbo prolog,Expert systems (Computer science)
Classification :
QA
،
76
.
73
،.
P76T43
،
1989
43. Programming with higher-order logic /
Author: Dale Miller, Gopalan Nadathur.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming.,Prolog (Computer program language)
Classification :
QA76
.
63
.
M554
2012
44. Progress in Artificial Intelligence :
Author: edited by Miguel Filgueiras, Luís Damas.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Computer Science.
45. Prolog Versus You :
Author: by Anna-Lena Johansson, Agneta Eriksson-Granskog, Anneli Edman.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.
Classification :
QA76
.
73
.
P76
B936
1989
46. Prolog programming : applications for database systems, expert systems, and natural language systems
Author: Marcus, Claudia.
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Prolog )Computer program language(,، Database management,، Expert systems )Computer science(,، Natural language processing )Computer science(
Classification :
QA
76
.
73
.
P76M37
1986
47. Static Analysis :
Author: by Patrick Cousot, Moreno Falaschi, Gilberto File.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
48. Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 :
Author: edited by Ehud Shapiro.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming -- Congresses.,Logic programming.,Programmation logique -- Congrès.
Classification :
QA76
.
6
E358
1986
49. User-centred requirements for software engineering environments
Author: edited by David J. Gilmore, Russel L. Winder, Françoise Détienne.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Human-computer interaction.,Logiciels -- Développement.,Software engineering.
50. <An> introduction to natural language processing through prolog
Author: Mattews, Clive
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Interactive computer systems►Programming languages (Electronic computers)- Semantics►Natural language processing (Computer science)
Classification :
76
.
9
.
I58
,
M27
